Fix native comp prediction on null functionp tested objects
authorAndrea Corallo <acorallo@gnu.org>
Tue, 26 Mar 2024 10:14:08 +0000 (11:14 +0100)
committerAndrea Corallo <acorallo@gnu.org>
Tue, 26 Mar 2024 10:14:08 +0000 (11:14 +0100)
commit8cc67dbcec0753c5579e63bf82bfe247debe222c
tree1e35b49a8a150785138ccf4889888bc40252a0a0
parentb7b9a0a5c1afae07b8168e85dcf1fc37d29e98ef
Fix native comp prediction on null functionp tested objects

* lisp/emacs-lisp/comp.el (comp-known-predicates)
(comp-known-predicates-h): Update.
(comp--pred-to-pos-cstr, comp--pred-to-neg-cstr): New functions.
(comp--add-cond-cstrs): Make use of them.

* test/src/comp-tests.el (comp-tests-type-spec-tests): Add a test.
lisp/emacs-lisp/comp.el
test/src/comp-tests.el